HASTIE, Diane. Vietnam. Une bibliographie de publications récentes. -Vietnam. A Bibliography of Recent Publications. Québec, Le Groupe d'Études et de Recherches sur l'Asie Contemporaine, Université Laval, Coll. « Documents du GERAC,no.2 »,1992,389p.

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Saadi le Poete de L'antinomie et du Paradoxe

آثار سعدی سرشار از تناقض و پارادوکس می باشد. کاربرد این عوامل نه تنها برای روند متن بازدارنده نیست، بلکه موجب روانی و شیوایی آن نیز می شود و بر غنای آن می افزاید. ما این دو عامل خلاق را، با مثالهایی، در بستر متن و در دو سطح متفاوت مورد مطالعه قرار داده ایم: واژگان و مباحث. تناقض و پارادوکس هر یک در بستر متن از مکانیزم های خاصی برخوردارند و نقش خلاق آنها در حیطه واژگان و مباحث به وضوح به چشم می ...

Hughral et le Commentaire du K. al-Raema de Jabir

Etude de souches américaines, asiatiques et européennes de microbes du groupe pullorum gallinarum